//package plugin.handler;
//
//import gui.ActPreAndPostCondWindow;
//import gui.SpecifyProjectAndASLFileWindow;
//
//import org.eclipse.ui.IWorkbenchWindow;
//import org.eclipse.ui.IWorkbenchWindowActionDelegate;
//import org.eclipse.jface.action.IAction;
//import org.eclipse.jface.viewers.ISelection;
//
//
///**
// * Design Metrics Handler
// * @author Tiancheng Zhang
// *
// */
//public class AgentRedesignHandler implements IWorkbenchWindowActionDelegate  {
//	
//	/**
//	 * The constructor.
//	 */
//	public AgentRedesignHandler() {
//	}
//
//	@Override
//	public void run(IAction action) {
////		new SpecifyProjectWindow(null).setVisible(true);
//	    
//	    new SpecifyProjectAndASLFileWindow(null).setVisible(true);
//		
//	}
//
//	@Override
//	public void selectionChanged(IAction action, ISelection selection) {
//		// TODO Auto-generated method stub
//		
//	}
//
//	@Override
//	public void dispose() {
//		// TODO Auto-generated method stub
//		
//	}
//
//	@Override
//	public void init(IWorkbenchWindow window) {
//		
//	}
//}
